TSTP Solution File: ITP137^2 by Nitpick---2016